Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
881	Ontological Realism∗ Theodore Sider in David Chalmers, David Manley, and Ryan Wasserman, eds., Metametaphysics (Oxford: Oxford University Press, 2009): pp. 384–423 Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:32 Ontology Semantics Philosophy of language Predicate logic Philosophical logic Mereological nihilism Proposition Simple Peter van Inwagen Philosophy Logic Metaphysics
882	Yet Another Paper on the Supervenience Argument against Coincident Entities∗ Theodore Sider Philosophy and Phenomenological Research[removed]): 613–24 Add to Reading List Source URL: tedsider.org Language: English - Date: 2012-10-11 07:11:28 Predicate logic Physicalism Supervenience Model theory Identity of indiscernibles Possible world First-order logic Mereology Logic Mathematical logic Modal logic
883	Naturalness and Arbitrariness∗ Theodore Sider Philosophical Studies[removed]): 283–301 Peter Forrest and D.M. Armstrong have given an argument against a theory Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 13:59:40 Abstraction Ontology Type theory Predicate logic Function Ordered pair Finitary relation Equivalence relation Binary relation Mathematics Mathematical logic Order theory
884	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
885	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
886	Fundamenta Informaticae[removed]{22 IOS Press 1 Executing Suspended Logic Programs Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:24 Predicate logic Logic programming Constraint programming Programming paradigms Abductive logic programming Prolog Constraint logic programming Resolution Atomic formula Logic Mathematical logic Software engineering
887	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
888	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
889	~ LnKTAZI£U 9~ ~Ed~ Robert K~als~i Department o f Cclpuing Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
890	c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-17 15:56:34 Propositional calculus Formal languages Model theory Formation rule Logical truth Symbol Constructible universe First-order logic Dynamical system Logic Mathematical logic Predicate logic

UPDATE